((X)
	(!A)
	(!B)
	(!D))

((X)
	(!A)
	(!B)
	(!D))

((X)
	(!A)
	(!B)
	(!D))

((X)
	(!A)
	(!B)
	(!E))

((Y)
	(!A)
	(!C)
	(!D))

((Y)
	(!A)
	(!C)
	(!E))

((Y)
	(!A)
	(!C)
	(!E))